module M

match () with
| _ -> (ignore ()
        ignore ())
| _ -> ()